VMM相关论文
粒子探测器的发展极大地促进了人们对微观世界的了解。RD51项目合作组研发的SRS系统是一种可扩展的探测器读出系统,可以适用于不同......
针对于一些传统的验证平台编写时非常复杂的弊端,文章利用VMM验证方法学,构建了可重用的验证平台.这种平台有着诸多的优点,如可维......
FC(Fibre Channel,光纤通道)交换机为光通信网络提供数据包交换服务,FC交换芯片是FC交换机的核心器件.在芯片研制过程中,能否完备......
本文首先介绍了VMM层次化验证方法学的基本思想和方法,将其与传统的芯片验证技术进行了对比,并进一步对基于VMM(Verification Meth......
文中分析了隔离网闸的原理以及应用中的问题,为实现更高效的安全隔离与数据交换系统,提出了基于一种基于虚拟机监控器体系结构的安......
恶意进程利用Rootkit使自己具有极强的隐蔽性。传统的隐藏进程检测工具部署在被检测系统中,容易受到攻击。为提高检测系统的抗攻击......
本文简要介绍了虚拟化技术与虚拟机监视器（VMM）体系结构的分类,重点分析了系统虚拟机实现的核心技术-CPU虚拟化、内存虚拟化I、/O虚......
以UART总线接口为例介绍一种高性能验证平台。该验证平台基于SystemVerilog语言,以功能覆盖率为导向,通过带约束的随机方法产生测......
首先介绍了虚拟机技术的发展历史以及虚拟机监视器所具有的优点和特性,总结了其体系结构和分类,并分析了虚拟机监视器内部逻辑模块......
VMM是一种基于SystemVerilog语言的验证方法学，它通过引入断言、抽象化、自动化与重用这四种机制提高了项目验证的生产率。本文通过......
IEEE Std 1800-2500 System Verilog作为一种工业标准硬件设计和验证语言,具有能够把RTL设计、测试平台、断言和覆盖率全面综合在......
IEEE Std 1800-2500 System Verilog作为一种工业标准硬件设计和验证语言,具有能够把RTL设计、测试平台、断言和覆盖率全面综合在......
借助虚拟化技术，Rootkit隐藏能力得到极大提升，基于、礓心压的Rootkit的研究成为主机安全领域的热点。总结了传统Rootkit的隐藏方法......
针对一款高性能复杂SoC芯片的设计,提出了一种新的软硬件协同仿真验证方案。通过比较仿真环境中软硬件间通信的各种实现方式,构建......
操作系统是计算机软件系统的基础,具有控制逻辑复杂、安全性和可靠性要求高等特点。在国内外高等级安全操作系统的规范和标准中,都......
介绍了一种最新的验证方法VMM验证方法学,采用VMM的结构层次化方法设计了数据压缩子系统芯片的RTL级验证平台。验证结果表明,该验......
摘?要 随着科技信息相关技术的不断发现，对于集成电路的相关应用得到了前所未有的重视，对于设计方面的需求也不断的增强。集成电路......
VXD即虚拟设备驱动程序是Windows上层应用和底层硬件设备交互的中间环节,本文阐述了VXD驱动程序开发的通用流程,并且讲述PCI接口板......
基于HOOK内核代码的传统主动防御软件在放行恶意驱动后对于高危险的恶意代码无法做到有效防御，因此在在已有的病毒行为分析和模式识......
信息技术迅猛发展的同时给信息安全带来了新的挑战。文件监控技术是保障计算机安全的有效手段。设计并实现了主机文件监控系统，能够......
本文以AMBAAHB总线上的从设备NAND Flash控制器为例，简要介绍了VMM验证方法学，并利用VMM验证方法学搭建了NAND Flash控制器验证平台，......
微软Hyper-V使用的是Typer 1 VMM架构下的子架构Microkernelized Hypervisor,采用三层结构。最底层叫做硬件层,是通过在其之上的管......
描述了一种基于SystemVerilog的网络处理器验证平台设计。该验证平台基于VMM架构,采用SystemVerilog语言编写所需的验证组件和功能......
针对符合IEEE 802.11的MAC协议的芯片设计,介绍一种新的验证方案。该方案以功能覆盖率为驱动,使用约束随机的激励完成验证,大大降......
流量管理芯片的验证是目前业界的热点与难点，验证工程师们一直在努力寻找用于流量测量的较好方法。采用System Verilog语言，基于Syno......
介绍SystemVerilogVMM验证方法学在LCDController验证中的应用，指出它相对于传统Verilog验证方法的1优点，重点研究功能覆盖率的收敛......
传统的验证平台编写复杂,且难以在不同设计之间重用。采用SystemVerilog支持的VMM验证方法学,并结合带约束的随机验证和覆盖率驱动......
收稿日期：2013-10-18 基金项目：国家自然科学基金重点项目（61133005）； 湖南省科技厅课题项目（2011FJ3067） 作者简介：黄 漾（1974—），女，湖......
VBA技术在EDA验证领域的应用,极大地提高了芯片前端逻辑开发的工作效率。本文通过VBA技术,对以VMM验证方法学为基础的数据结构、寄......
运用引用监控机的概念和虚拟机监控器的功能,提出了一种新的保护内核完整性的方法。该方法在虚拟机监控器中增加了引用监控模块,使......
介绍了Windows 9X下的虚拟环境，然后详细介绍了虚拟设备驱动程序的基本结构和运行原理。并简要介绍了基于Win 9X的ATM网卡虚拟设备......
针对云平台中的虚拟机内核级Rootkit破坏租户虚拟机完整性的问题,文章提出一种基于VMM(虚拟机监视器,Virtual Machine Monitor)的......
针对入侵检测系统(IDS)存在可见度不高、隔离性差、目标系统不完整等问题,提出了新的入侵检测系统架构(XenIDS)。该架构基于Xen虚......
根据LDPC编译码器的功能和结构特点,提出一种基于VMM的验证方案以充分验证LDPC编译码器的功能,进而提升芯片性能。通过模拟实际的......
介绍了虚拟化技术的概念和研究范围,接着探讨计算平台虚拟化及高可用等特性,引入虚拟机宿主服务器的概念,指出为了发挥虚拟化技术......
本文结合处理器芯片实际项目，重点介绍了功能验证环节的工作。文章基于VMM验证平台，利用System Verilog语言自动生成测试激励，采用断......
随着SystemVerilog成为IEEE的P1800规范,越来越多的项目开始采用基于SystemVerilog的验证方法学来获得更多的重用扩展性、更全面的......
本文基于VMM验证平台,介绍了高速串行收发器芯片的验证方法。文章首先简要介绍了Serdes芯片和VMM验证方法,然后搭建了Serdes芯片的......
针对FPGA设计中如何高效、充分验证功能的问题，本文介绍了集众多优势一体的VMM验证方法，并通过GFP封装与解封装项目的具体应用，讲解了......
对符合ISO/IEC14443协议的射频通信接口模块RTL（register transfer level）设计提出一种更高效的验证方法,即在传统的VMM（verification......
虚拟化技术作为云计算的基础架构，其安全性随着云计算的发展越来越受到人们的关注．提出一种针对虚拟机系统内核攻击的入侵检测方案，借......
为了提高虚拟机中进程的安全性,避免系统调用表SSDT和系统调用执行流被恶意挂钩,提出一种基于影子内存的无代理虚拟机进程防护方案......
针对云平台运行面临的安全威胁，传统面向启动过程保护的可信硬件技术不能提供足够的保障。为保障虚拟机监控器（Virtual Machine Moni......
高速缓存是提高计算机性能的一种关键技术.文章主要分析了高速缓存所在的计算机存储系统结构、磁盘高速缓存工作原理,深入讨论高速......
目前虚拟环境中，虚拟机管理程序VMM和客户操作系统之间相对独立，因此，VMM只能对客户操作系统的整体运行情况进行监控．但是，当客户操作系......
文中描述了一种基于层次化的验证平台存储器控制器功能验证方法.根据VMM(Verification Methodology Manual)验证方法学构建的一个......
近年来集成电路飞速发展,Flash的性能不断被改善,为了适应集成电路制造技术的快速演进,提高市场竞争力,对Flash数据操作灵活性方面......
VMM可对企业内安装在不同物理服务器上的虚拟机进行集中化统一管理。本文介绍如何通过VMM管理员控制台，集中控制企业内的所有虚拟机......
本文以应用VMM在AVS解码芯片模块级的应用为例,探讨VMM验证方法学在实际项目中的运用方法,以及所带来的验证效率的提高。AVS为我国......
